24. IJCAI 2015: Buenos Aires, Argentina
Qiang Yang, Michael Wooldridge:
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press 2015, ISBN 978-1-57735-738-4
Main Track - Agent and Multiagent Systems

Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh:
Composing and Verifying Commitment-Based Multiagent Protocols. 10-17
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer:
Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities. 18-24
Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris:
Efficiency and Complexity of Price Competition Among Single-Product Vendors. 25-31
Adam Clearwater, Clemens Puppe, Arkadii Slinko:
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs. 32-38
Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen:
Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams. 39-45
Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin:
Structural Results for Cooperative Decentralized Control Models. 46-52
Yilin Kang, Ah-Hwee Tan, Chunyan Miao:
An Adaptive Computational Model for Personalized Persuasion. 61-67
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels:
Tradeoffs between Incentive Mechanisms in Boolean Games. 68-74
Danyan Lv, Zhaofeng Li, Yichuan Jiang:
Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior. 75-81
Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken:
The Power of Local Manipulation Strategies in Assignment Mechanisms. 82-89
Gianpiero Monaco, Piotr Sankowski, Qiang Zhang:
Revenue Maximization Envy-Free Pricing for Homogeneous Resources. 90-96
Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo:
Exchange of Indivisible Objects with Asymmetry. 97-103
Paolo Viappiani:
Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings. 104-110
Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu:
Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory. 111-117
Florian Wisser:
An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling. 125-131
Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Joel E. Fischer, Tom Rodden, Nicholas R. Jennings:
Agile Planning for Real-World Disaster Response. 132-138
Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu:
Optimal Pricing for the Competitive and Evolutionary Cloud Market. 139-145
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. 146-155
Main Track - Artificial Intelligence and Social Sciences
Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon:
Emotions in Argumentation: an Empirical Evaluation. 156-163
Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. 164-170
Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting:
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation. 171-177
Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C. H. Hoi:
Semi-Universal Portfolios with Transaction Costs. 178-184
Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir:
A Deterministic Partition Function Approximation for Exponential Random Graph Models. 192-200
Main Track - Auctions and Market-Based Systems


Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu:
Selling Reserved Instances in Cloud Computing. 224-231
Main Track - Constraint Optimization
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
A Multicore Tool for Constraint Solving. 232-238
Jeremias Berg, Paul Saikko, Matti Järvisalo:
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. 239-245
Abram L. Friesen, Pedro M. Domingos:
Recursive Decomposition for Nonconvex Optimization - IJCAI-15 Distinguished Paper. 253-259
Thierry Petit, Andrew C. Trapp:
Finding Diverse Solutions of High Quality to Constraint Optimization Problems. 260-267
Main Track - Constraints, Satisfiability, and Search

Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran:
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning. 275-282
Carlos Ansótegui, Frédéric Didier, Joel Gabàs:
Exploiting the Structure of Unsatisfiable Cores in MaxSAT. 283-289
Amine Balafrej, Christian Bessière, Anastasia Paparrizou:
Multi-Armed Bandits for Adaptive Constraint Propagation. 290-296
Nawal Benabbou, Patrice Perny:
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs. 297-303
Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan:
ReACTR: Realtime Algorithm Configuration through Tournament Rankings. 304-310


Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. 332-338
Jimmy H. M. Lee, Zichen Zhu:
Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search. 339-345
Christopher Mears, Maria Garcia de la Banda:
Towards Automatic Dominance Breaking for Constraint Optimization Problems. 360-366
Zongxu Mu, Holger H. Hoos:
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition. 367-373
Guillaume Perez, Jean-Charles Régin:
Efficient Operations On MDDs for Building Constraint Programming Models. 374-380
Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic:
Personalized Mathematical Word Problem Generation. 381-388

Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R. Jennings:
Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem. 403-410
Main Track - Distributed Search/CSP/Optimization
Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham:
Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs. 411-417
Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk Ming Fong:
Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation. 418-424
Roie Zivan, Tomer Parash, Yarden Naveh:
Applying Max-Sum to Asymmetric Distributed Constraint Optimization. 432-439
Main Track - Game Theory
Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
A Bargaining Mechanism for One-Way Games. 440-446
Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar:
Strategic Network Formation through an Intermediary. 447-453
Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen:
The Adjusted Winner Procedure: Characterizations and Equilibria. 454-460
Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Hanjo Täubig:
Welfare Maximization in Fractional Hedonic Games. 461-467
Haris Aziz, Toby Walsh, Lirong Xia:
Possible and Necessary Allocations via Sequential Mechanisms. 468-474


Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick:
Incentivizing Peer Grading in MOOCS: An Audit Game Approach. 497-503
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski:
Approximate Nash Equilibria with Near Optimal Social Welfare. 504-510
Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick:
Influence in Classification via Cooperative Game Theory. 511-517
Joanna Drummond, Andrew Perrault, Fahiem Bacchus:
SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples. 518-525
Karel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld:
Optimal Network Security Hardening Using Attack Graph Games. 526-532
Umberto Grandi, Davide Grossi, Paolo Turrini:
Equilibrium Refinement through Negotiation in Binary Voting. 540-546
Gianluigi Greco, Francesco Lupia, Francesco Scarcello:
Structural Tractability of Shapley and Banzhaf Values in Allocation Games. 547-553
Michael P. Kim, Virginia Vassilevska Williams:
Fixing Tournaments for Kings, Chokers, and More. 561-567
Annamária Kovács, Angelina Vidali:
A Characterization of n-Player Strongly Monotone Scheduling Mechanisms. 568-574

Minming Li, Jialin Zhang, Qiang Zhang:
Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much! 589-595

Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich:
Strategic Candidacy Games with Lazy Candidates. 610-616
Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings:
Convergence to Equilibria in Strategic Candidacy. 624-630
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo:
A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games. 631-637
Piotr Lech Szczepanski, Aleksy Stanislaw Barcz, Tomasz Pawel Michalak, Talal Rahwan:
The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection. 638-644
Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling:
Solving Heads-Up Limit Texas Hold'em. 645-652

Marcin Waniek, Agata Niescieruk, Tomasz P. Michalak, Talal Rahwan:
Spiteful Bidding in the Dollar Auction. 667-673
Haifeng Xu, Albert Xin Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe:
Security Games with Information Leakage: Modeling and Computation. 674-680
Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang:
Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs. 681-688
Main Track - Graphical Models
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
From Weighted to Unweighted Model Counting. 689-695
Radu Marinescu, Rina Dechter, Alexander T. Ihler:
Pushing Forward Marginal MAP with Best-First Search. 696-702

Matteo Venanzi, W. T. Luke Teacy, Alex Rogers, Nick R. Jennings:
Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity. 717-724
Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam:
A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality. 725-732
Main Track - Heuristic Search
Carlos Ansótegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney:
Model-Based Genetic Algorithms for Algorithm Configuration. 733-739
Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Solomon Eyal Shimony:
ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding. 740-746
Shaowei Cai:
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. 747-753
Yolanda E.-Martín, María D. R.-Moreno, David E. Smith:
A Fast Goal Recognition Technique Based on Interaction Estimates. 761-768

Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev:
Efficient Search with an Ensemble of Heuristics. 784-791
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Compositional Program Synthesis from Natural Language and Examples. 792-800
Erik S. Steinmetz, Maria L. Gini:
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go. 801-807
René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments. 808-814
Nic Wilson, Abdul Razak, Radu Marinescu:
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs. 815-822
Main Track - Knowledge Acquisition
Mehwish Alam, Aleksey Buzmakov, Víctor Codocedo, Amedeo Napoli:
Mining Definitions from RDF Annotations Using Formal Concept Analysis. 823-829
Claudiu Cristian Musat, Boi Faltings:
Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles. 830-836
Mehdi Samadi, Partha Pratim Talukdar, Manuela M. Veloso, Tom M. Mitchell:
AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand. 837-843
Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause:
Building Hierarchies of Concepts via Crowdsourcing. 844-853
Main Track - Knowledge Representation, Reasoning, and Logic
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio:
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. 854-860
Francesco Belardinelli, Davide Grossi, Nicolas Maudet:
Formal Analysis of Dialogues on Infinite Argumentation Frameworks. 861-867
Antonio Lieto, Daniele P. Radicioni, Valentina Rho:
A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning. 875-881
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. 882-888
Denis Deratani Mauá, Cassio Polpo de Campos, Fábio Gagliardi Cozman:
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages. 889-895
Marius Pasca, Hylke Buisman:
Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories. 896-902

Main Track - Machine Learning
Francis Bisson, Hugo Larochelle, Froduald Kabanza:
Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition. 918-924
Matteo Denitto, Alessandro Farinelli, Manuele Bicego:
Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm. 925-931

Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou:
Multi-Label Active Learning: Query Type Matters. 946-952
Wenbin Jiang, Qun Liu, Thepchai Supnithi:
Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction. 953-959
Miao Lin, Hong Cao, Vincent W. Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy:
Mobility Profiling for User Verification with Anonymized Location Data. 960-966
Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan T. Chakaravarthy, Ravi Kothari, L. Venkata Subramaniam:
Analysis of Sampling Algorithms for Twitter. 967-973
Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha:
Portfolio Choices with Orthogonal Bandit Learning. 974-
Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause:
Information Gathering in Networks via Active Exploration. 891-988
Chang Wang, Liangliang Cao, Bowen Zhou:
Medical Synonym Extraction with Concept Space Models. 989-995
Yichen Wang, Aditya Pal:
Detecting Emotions in Social Media: A Constrained Optimization Approach. 996-1002
Junfeng Wen, Russell Greiner, Dale Schuurmans:
Correcting Covariate Shift with the Frank-Wolfe Algorithm. 1010-1016
Run-ze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu:
Cognitive Modelling for Predicting Examinee Performance. 1017-1024
Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu:
Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model. 1025-1032
Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang:
Auxiliary Information Regularized Machine for Multiple Modality Feature Learning. 1033-1039
Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao:
Discriminative Reordering Model Adaptation via Structural Learning. 1040-1046
Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang:
Character-Based Parsing with Convolutional Neural Network. 1054-1060
Main Track - Model Verification / Model Checking
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Symbolic Model Checking for One-Resource RB+-ATL. 1069-1075
Xiaowei Huang, Qingliang Chen, Kaile Su:
The Complexity of Model Checking Succinct Multiagent Systems. 1076-1082

Main Track - Multiagent Systems
Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn:
A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange. 1098-1104
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Equilibria Under the Probabilistic Serial Rule. 1105-1112
Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra:
Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties. 1113-1119
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe:
Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods. 1127-1133
Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti:
Spectrum-Based Fault Localisation for Multi-Agent Systems. 1134-1140
Piotr Krzysztof Skowron:
What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules. 1141-1148
Main Track - Multidisciplinary Topics and Applications

Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham:
The Right to Obscure: A Mechanism and Initial Evaluation. 1156-1162
Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong:
A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly. 1163-1169
Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu:
Combining Eye Movements and EEG to Enhance Emotion Recognition. 1170-1176
Vittorio Perera, Manuela M. Veloso:
Handling Complex Commands as Service Robot Task Requests. 1177-1183
Sarvapali D. Ramchurn, Joel E. Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock:
A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments. 1184-1192
Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui:
Offline Sketch Parsing via Shapeness Estimation. 1200-1207
Main Track - Natural Language Processing
Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama:
Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression. 1208-1214
Francesco Barbieri, Francesco Ronzano, Horacio Saggion:
Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter. 1215-1221
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi:
Embedding Semantic Relations into Word Representations. 1222-1228
Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer:
Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets. 1229-1235
Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huan-Bo Luan:
Joint Learning of Character and Word Embeddings. 1236-1242
Meiping Dong, Yang Liu, Huan-Bo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang:
Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora. 1250-1256
Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki:
Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance. 1257-1262
Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao:
Reader-Aware Multi-Document Summarization via Sparse Coding. 1270-1276
Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu:
Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation. 1277-1283
Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model. 1284-1290
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang:
Automated Rule Selection for Aspect Extraction in Opinion Mining. 1291-1297
Daraksha Parveen, Michael Strube:
Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization. 1298-1304
Xipeng Qiu, Xuanjing Huang:
Convolutional Neural Tensor Network Architecture for Community-Based Question Answering. 1305-1311
Mrinmaya Sachan, Eduard H. Hovy, Eric P. Xing:
An Active Learning Approach to Coreference Resolution. 1312-1318
Arpit Sharma, Nguyen Ha Vo, Somak Aditya, Chitta Baral:
Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module. 1319-1325
Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang:
On Conceptual Labeling of a Bag of Words. 1326-1332
Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang:
Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation. 1333-1339
Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang:
User Modeling with Neural Network for Review Rating Prediction. 1340-1346
Duy-Tin Vo, Yue Zhang:
Target-Dependent Twitter Sentiment Classification with Rich Automatic Features. 1347-1353
Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song:
Modeling Quantum Entanglements in Quantum Language Models. 1362-1368
Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Fangyuan Wang, Hongwei Hao:
Convolutional Neural Networks for Text Hashing. 1369-1375
Jin-ge Yao, Xiaojun Wan, Jianguo Xiao:
Compressive Document Summarization via Sparse Optimization. 1376-1382
Wenpeng Yin, Yulong Pei:
Optimizing Sentence Modeling and Selection for Document Summarization. 1383-1389
Zheng Yu, Haixun Wang, Xuemin Lin, Min Wang:
Learning Term Embeddings for Hypernymy Identification. 1390-1397
Jiajun Zhang, Dakun Zhang, Jie Hao:
Local Translation Prediction with Global Sentence Representation. 1398-1404
Wei Zhang, Jianyong Wang:
Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents. 1405-1411
Yu Zhao, Zhiyuan Liu, Maosong Sun:
Representation Learning for Measuring Entity Relatedness with Rich Information. 1412-1418
Guangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu:
Linking Heterogeneous Input Features with Pivots for Domain Adaptation. 1419-1425
Guangyou Zhou, Tingting He, Jun Zhao, Wensheng Wu:
A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data. 1426-1433
Main Track - Ontologies
Daniele Alfarone, Jesse Davis:
Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus. 1434-1441
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo:
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. 1442-1449
Salem Benferhat, Zied Bouraoui, Karim Tabia:
How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? 1450-1456
Daniil Mirylenka, Andrea Passerini, Luciano Serafini:
Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach. 1464-1470
Chuncheng Xiang, Baobao Chang, Zhifang Sui:
An Ontology Matching Approach Based on Affinity-Preserving Random Walks. 1471-1478
Main Track - Planning
Mohammad Abdulaziz, Michael Norrish, Charles Gretton:
Exploiting Symmetries by Planning for a Descriptive Quotient. 1479-1486
Meysam Aghighi, Christer Bäckström:
Cost-Optimal and Net-Benefit Planning - A Parameterised Complexity View. 1487-1493
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen:
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. 1494-1501
Ron Alford, Pascal Bercher, David W. Aha:
Tight Bounds for HTN Planning with Task Insertion. 1502-1508
Ankit Anand, Aditya Grover, Mausam, Parag Singla:
ASAP-UCT: Abstraction of State-Action Pairs in UCT. 1509-1515
Spyros Angelopoulos:
Further Connections Between Contract-Scheduling and Ray-Searching Problems. 1516-1522
Josef Bajada, Maria Fox, Derek Long:
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours. 1523-1529
Lukás Chrpa, Fazlul Hasan Siddiqui:
Exploiting Block Deordering for Improving Planners Efficiency. 1537-1543
Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
On the Online Generation of Effective Macro-Operators. 1544-1550
Liat Cohen, Solomon Eyal Shimony, Gera Weiss:
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. 1551-1557
Enrique Fernández-González, Erez Karpas, Brian Charles Williams:
Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes. 1565-1572
Florian Geißer, Thomas Keller, Robert Mattmüller:
Delete Relaxations for Planning with State-Dependent Action Costs. 1573-1579
Bruno Lacerda, David Parker, Nick Hawes:
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. 1587-1593
Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz:
Metareasoning for Planning Under Uncertainty. 1601-1609
Nir Lipovetzky, Miquel Ramírez, Hector Geffner:
Classical Planning with Simulators: Results on the Atari Video Games. 1610-1616
Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum:
Action2Activity: Recognizing Complex Activities from Sensor Data. 1617-1623
Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit:
Exploratory Digraph Navigation Using A. 1624-1630
Andrea Micheli, Minh Do, David E. Smith:
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations. 1631-1637
Sergio Núñez, Daniel Borrajo, Carlos Linares López:
Sorting Sequential Portfolios in Automated Planning. 1638-1644
Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan J. Witwicki:
Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions. 1645-1651
Santiago Ontañón, Michael Buro:
Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games. 1652-1658
Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek:
Point-Based Planning for Multi-Objective POMDPs. 1666-1672


Jorge Torres, Jorge A. Baier:
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. 1696-1703
Mauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey:
On the Effective Configuration of Planning Domain Models. 1704-1711
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz:
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. 1712-1718
Kyle Hollins Wray, Shlomo Zilberstein:
Multi-Objective POMDPs with Lexicographic Reward Preferences. 1719-1725
Bo Wu, Craig A. Knoblock:
An Iterative Approach to Synthesize Data Transformation Programs. 1726-1732
Daqing Yi, Michael A. Goodrich, Kevin D. Seppi:
MORRF*: Sampling-Based Multi-Objective Motion Planning. 1733-1741
Main Track - Recommender Systems
Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen:
Optimal Greedy Diversity for Recommendation. 1742-1748
Susan Craw, Ben Horsburgh, Stewart Massie:
Music Recommenders: User Evaluation Without Real Users? 1749-1755
Guang-Neng Hu, Xin-Yu Dai, Yunya Song, Shujian Huang, Jiajun Chen:
A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews. 1756-1762
Liping Jing, Peng Wang, Liu Yang:
Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering. 1771-1777
Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera:
Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations. 1778-1784
Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao:
A Boosting Algorithm for Item Recommendation with Implicit Feedback. 1792-1798
Zebang Shen, Hui Qian, Tengfei Zhou, Song Wang:
Simple Atom Selection Strategy for Greedy Matrix Completion. 1799-1805
Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh:
Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees. 1806-1812
Suhang Wang, Jiliang Tang, Yilin Wang, Huan Liu:
Exploring Implicit Hierarchical Structures for Recommender Systems. 1813-1819
Xin Wang, Yunhui Guo, Congfu Xu:
Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue. 1820-1826
Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo:
Cross-Domain Collaborative Filtering with Review Text. 1827-1834
Main Track - Relational Learning
Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke:
Inducing Probabilistic Relational Rules from Probabilistic Examples. 1835-1843
Parisa Kordjamshidi, Dan Roth, Hao Wu:
Saul: Towards Declarative Learning Based Programming. 1844-1851
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt:
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation. 1852-1858
Main Track - Robotics and Vision
Kenneth D. Bogert, Prashant Doshi:
Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL. 1867-1873
Arunkumar Byravan, Mathew Monfort, Brian D. Ziebart, Byron Boots, Dieter Fox:
Graph-Based Inverse Optimal Control for Robot Manipulation. 1874-1880
Andreas G. Hofmann, Enrique Fernández-González, Justin Helbert, Scott D. Smith, Brian Charles Williams:
Reactive Integrated Motion Planning and Execution. 1881-1887
Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma:
Weakly Supervised RBM for Semantic Segmentation. 1888-1894
Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen:
Grounding the Meaning of Words through Vision and Interactive Gameplay. 1895-1901
Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus:
Intelligent Agent Supporting Human-Multi-Robot Team Collaboration. 1902-1908
Michael Spranger, Luc Steels:
Co-Acquisition of Syntax and Semantics - An Investigation in Spatial Language. 1909-1915
Pavel Surynek:
Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally. 1916-1922
Jesse Thomason, Shiqi Zhang, Raymond J. Mooney, Peter Stone:
Learning to Interpret Natural Language Commands through Human-Robot Dialog. 1923-1929
Marc Toussaint:
Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning. 1930-1936
Xiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye:
Multi-Modality Tracker Aggregation: From Generative to Discriminative. 1937-1944
Main Track - Satisfiability
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny:
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. 1945-1951

João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado:
Efficient Model Based Diagnosis with Maximum Satisfiability. 1966-1972
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva:
Prime Compilation of Non-Clausal Formulae. 1980-1988
Main Track - Sequential Decision Making
Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng:
Solving MDPs with Skew Symmetric Bilinear Utility Functions. 1989-1995
Alkis Gotovos, Amin Karbasi, Andreas Krause:
Non-Monotone Adaptive Submodular Maximization. 1996-2003
Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter:
Optimization of Probabilistic Argumentation with Markov Decision Models. 2004-2010
Miao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How:
Stick-Breaking Policy Learning in Dec-POMDPs. 2011-2018
Main Track - Social Choice Theory

David Timothy Lee:
Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules. 2026-2032
Lihi Naamani Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech:
Lie on the Fly: Iterative Voting Center with Manipulative Voters. 2033-2039
Yair Zick, Yoram Bachrach, Ian A. Kash, Peter Key:
Non-Myopic Negotiators See What's Best. 2047-2054
Main Track - Social Networks
Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz:
How Robust Is the Wisdom of the Crowds? 2055-2061
Shanshan Feng, Xutao Li, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan:
Personalized Ranking Metric Embedding for Next New POI Recommendation. 2069-2075
Weixue Lu, Peng Zhang, Chuan Zhou, Chun-Yi Liu, Li Gao:
Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation. 2076-2082
Yulong Pei, Nilanjan Chakraborty, Katia P. Sycara:
Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks. 2083-2089
Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes:
A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models. 2090-2096
Vishnu Sankar, Balaraman Ravindran, S. Shivashankar:
CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks. 2097-2103
Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang:
Maximizing the Coverage of Information Propagation in Social Networks. 2104-2110
Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Y. Chang:
Network Representation Learning with Rich Text Information. 2111-2117
Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang:
Optimal Route Search with the Coverage of Users' Preferences. 2118-2124
Jiawei Zhang, Philip S. Yu:
Integrated Anchor and Social Link Predictions across Social Networks. 2125-2132
Main Track - Vision and Perception
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh:
Groupwise Registration of Aerial Images. 2133-2139
Piotr Tadeusz Bilinski, François Brémond:
Video Covariance Matrix Logarithm for Human Action Recognition in Videos. 2140-2147
Ling Cai, Rongrong Ji, Wei Liu, Gang Hua:
Modeling Inter- and Intra-Part Deformations for Object Structure Parsing. 2148-2154
Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe:
Inferring Painting Style with Multi-Task Dictionary Learning. 2162-2168
Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen:
Social Image Parsing by Cross-Modal Data Refinement. 2169-2175
Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu:
Adaptive Sharing for Image Classification. 2183-2190
Zhiqiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu:
Face Clustering in Videos with Proportion Prior. 2191-2197
Hongteng Xu, Yi Zhen, Hongyuan Zha:
Trailer Generation via a Point Process-Based Visual Attractiveness Model. 2198-2204
Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar:
Generalized Transitive Distance with Minimum Spanning Random Forest. 2205-2211
Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu:
Saliency Detection with a Deeper Investigation of Light Field. 2212-2218
Handong Zhao, Yun Fu:
Semantic Single Video Segmentation with Robust Graph Representation. 2219-2226
Main Track - Web and Knowledge-Based Information Systems

Xiaojun Chang, Yi Yang, Alexander G. Hauptmann, Eric P. Xing, Yaoliang Yu:
Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection. 2234-2240
Dustin Dannenhauer, Héctor Muñoz-Avila:
Raising Expectations in GDA Agents Acting in Dynamic Environments. 2241-2247
Xiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yang-Ping Zhu, Songcan Chen:
Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction. 2255-2261
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan:
Short and Sparse Text Topic Modeling via Self-Aggregation. 2270-2276
Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong:
Personalized Sentiment Classification Based on Latent Individuality of Microblog Users. 2277-2283
Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li:
Online Learning to Rank for Content-Based Image Retrieval. 2284-2290
Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu:
Deep Multimodal Hashing with Orthogonal Regularization. 2291-2297
Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao:
Hamming Compatible Quantization for Hashing. 2298-2304
Tao Wu, Qifan Wang, Zhiwei Zhang, Luo Si:
Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification Model. 2305-2312
Main Track - Web Mining
Djallel Bouneffouf, Inanç Birol:
Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering. 2313-2319
Danish Contractor, Bhupesh Chawda, Sameep Mehta, L. Venkata Subramaniam, Tanveer A. Faruquie:
Tracking Political Elections on Social Media: Applications and Experience. 2320-2326
Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan:
Deep Learning for Event-Driven Stock Prediction. 2327-2333
Stefano Faralli, Giovanni Stilo, Paola Velardi:
Large Scale Homophily Analysis in Twitter Using a Twixonomy. 2334-2340
Shoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi:
Interactive Gender Inference with Integer Linear Programming. 2341-2347
Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun:
Detecting Promotion Campaigns in Community Question Answering. 2348-2354
Ming Liu, Lei Chen, Bingquan Liu, Xiaolong Wang:
VRCA: A Clustering Algorithm for Massive Amount of Texts. 2355-2361
Shilad Sen, Isaac L. Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent J. Hecht:
Towards Domain-Specific Semantic Relatedness: A Case Study from Geography. 2362-2370
Xuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua:
Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning. 2371-2377
Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li:
Unsupervised Sentiment Analysis for Social Media Images. 2378-2379
Xiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang:
Re-Ranking Voting-Based Answers by Discarding User Behavior Biases. 2380-2386
Xiaofeng Yu, Junqing Xie, Shuai Wang:
A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites. 2387-2393
Hongyi Zhang, Michael R. Lyu, Irwin King:
Exploiting k-Degree Locality to Improve Overlapping Community Detection. 2394-2400
Xiaoming Zhang, Xia Hu, Zhoujun Li:
Learning Geographical Hierarchy Features for Social Image Location Prediction. 2401-2407
Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Tat-Seng Chua, Shaoping Ma:
Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation. 2408-2414
Xingwei Zhu, Zhaoyan Ming, Yu Hao, Xiaoyan Zhu:
Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling. 2415-2423
Special Track on Artificial Intelligence and the Arts
Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer:
Artificial Intelligence in the Concertgebouw. 2424-2430
Alexander Berman, Valencia James:
Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance. 2431-
Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger:
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. 2445-2451
Lorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava:
Slogans Are Not Forever: Adapting Linguistic Expressions to the News. 2452-2458
Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten:
Pseudo-Supervised Training Improves Unsupervised Melody Segmentation. 2459-2465
Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado:
Swarm Systems in the Visualization of Consumption Patterns. 2466-2472

François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou:
Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint. 2482-2488
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet:
Generating all Possible Palindromes from Ngram Corpora. 2489-2495
Rafal Rzepka, Kenji Araki:
Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images. 2496-2502
Andreza Sartori, Yan Yan, Gözde Özbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe:
Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel? 2503-2509
Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao:
Aesthetic Visual Quality Evaluation of Chinese Handwritings. 2510-2516
Josep Valls-Vargas, Jichen Zhu, Santiago Ontañón:
Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops. 2517-2523
Dekai Wu, Karteek Addanki:
Learning to Rap Battle with Bilingual Recursive Neural Networks. 2524-2530
Ning Xie, Tingting Zhao, Feng Tian, Xiaohua Zhang, Masashi Sugiyama:
Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning. 2531-2539
Special Track on Computational Sustainability
Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh:
Online Fair Division: Analysing a Food Bank Problem. 2540-2546
Frederik Auffenberg, Sebastian Stein, Alex Rogers:
A Personalised Thermal Comfort Model Using a Bayesian Network. 2547-2553
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala:
Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis. 2554-2560
Heider Berlink, Anna H. R. Costa:
Batch Reinforcement Learning for Smart Home Energy Management. 2561-2567
Christian Bessière, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
Reasoning about Connectivity Constraints. 2568-2574
Xi C. Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar:
Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data. 2575-2581
Yann Dujardin, Tom Dietterich, Iadine Chades:
α-min: A Compact Approximate Solver For Finite-Horizon POMDPs. 2582-2588
Fei Fang, Peter Stone, Milind Tambe:
When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing. 2589-2595
Maryam Ghasemi, Benjamin Lubin:
Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae. 2596-2602
Xiaohong Hao, Bangsheng Tang, Yongcai Wang:
On the Balance of Meter Deployment Cost and NILM Accuracy. 2603-2609
Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga:
Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs. 2610-2616
Athirai Aravazhi Irissappane, Jie Zhang, Frans A. Oliehoek, Partha Sarathi Dutta:
Secure Routing in Wireless Sensor Networks via POMDPs. 2617-2623
Andrew Perrault, Craig Boutilier:
Approximately Stable Pricing for Coordinated Purchasing of Electricity. 2624-2631
José Francisco Ruiz-Muñoz, Mauricio Orozco-Alzate, Germán Castellanos-Domínguez:
Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation. 2632-2638
René Schönfelder, Martin Leucker:
Abstract Routing Models and Abstractions in the Context of Vehicle Routing. 2639-2645
Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly:
Copula Graphical Models for Wind Resource Estimation. 2646-2654
XiaoJian Wu, Daniel Sheldon, Shlomo Zilberstein:
Fast Combinatorial Algorithm for Optimizing the Spread of Cascades. 2655-2661
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan:
Optimal Electric Vehicle Charging Station Placement. 2662-2668
Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia P. Sycara:
A Crowdfunding Model for Green Energy Investment. 2669-2676
Special Track on Knowledge Representation and Reasoning
Mario Alviano, Carmine Dodaro, Francesco Ricca:
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. 2677-2683
Mario Alviano, Wolfgang Faber:
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. 2684-2690
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez:
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries. 2698-2705
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. 2706-2712
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher:
Combining Existential Rules and Transitivity: Next Steps. 2720-2726
Pietro Baroni, Massimiliano Giacomin, Beishui Liao:
Dealing with Generic Contrariness in Structured Argumentation. 2727-2733
Ringo Baumann, Gerhard Brewka:
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. 2734-2740
Francesco Belardinelli, Wiebe van der Hoek:
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. 2748-2754
Vaishak Belle, Hector J. Levesque:
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. 2762-2769
Vaishak Belle, Andrea Passerini, Guy Van den Broeck:
Probabilistic Inference in Hybrid Domains by Weighted Model Integration. 2770-2776
Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich:
Compatible-Based Conditioning in Interval-Based Possibilistic Logic. 2777-2783
Thomas Bolander, Martin Holm Jensen, François Schwarzentruber:
Complexity Results in Epistemic Planning. 2791-2797
Blai Bonet, Hector Geffner:
Policies that Generalize: Solving Many Planning Problems with the Same Policy. 2798-2804
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak:
On the Entailment Problem for a Logic of Typicality. 2805-2811
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
The Complexity of Subsumption in Fuzzy EL. 2812-2818
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). 2826-2832
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Logic Program Termination Analysis Using Atom Sizes. 2833-2839
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. 2840-2846
Diego Calvanese, Marco Montali, Ario Santoso:
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. 2847-2853
Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar:
Probabilistic Belief Contraction Using Argumentation. 2854-2860
Arthur Choi, Guy Van den Broeck, Adnan Darwiche:
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. 2861-2868
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau:
An Algebra of Granular Temporal Relations for Qualitative Reasoning. 2869-2875
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
Extension Enforcement in Abstract Argumentation as an Optimization Problem. 2876-2882
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. 2883-2889
Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock:
Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic. 2890-2896
Ronald de Haan, Martin Kronegger, Andreas Pfandler:
Fixed-Parameter Tractable Reductions to SAT for Planning. 2897-2903
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic:
On the Aggregation of Argumentation Frameworks. 2911-2917
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martínez, Gerardo I. Simari, Oana Tifrea-Marciuska:
Combining Existential Rules with the Power of CP-Theories. 2918-2925
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran:
An Extension-Based Approach to Belief Revision in Abstract Argumentation. 2926-2932
Didier Dubois, Henri Prade, Agnès Rico:
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms. 2933-2939

Liangda Fang, Yongmei Liu, Ximing Wen:
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. 2955-2963
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
The Combined Approach to Query Answering Beyond the OWL 2 Profiles. 2971-2977
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
Computing Social Behaviours Using Agent Models. 2978-2984
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass:
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. 2985-2991
Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial Rewritings for Linear Existential Rules. 2992-2998
Georg Gottlob, Andreas Pieris:
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. 2999-3007
Gianluigi Greco, Jérôme Lang:
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability. 3008-3014
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider:
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. 3015-3021
Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Efficient Query Rewriting in the Description Logic EL and Beyond. 3034-3040

Anthony Hunter:
Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion. 3055-3061
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:
Simplifying A Logic Program Using Its Consequences. 3069-3075
Jianmin Ji, Jia-Huai You, Yisong Wang:
On Forgetting Postulates in Answer Set Programming. 3076-3083
Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Efficient Semantic Features for Automated Reasoning over Large Theories. 3084-3090
Mark Kaminski, Bernardo Cuenca Grau:
Computing Horn Rewritings of Description Logics Ontologies. 3091-3097
Tobias Kaminski, Matthias Knorr, João Leite:
Efficient Paraconsistent Reasoning with Ontologies and Rules. 3098-3105
Mélanie König, Michel Leclère, Marie-Laure Mugnier:
Query Rewriting for Existential Rules with Compiled Preorder. 3106-3112
Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Mediated Queries with Closed Predicates. 3120-3126
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. 3127-3133
Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier:
Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence. 3134-3140
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran:
On the Parameterized Complexity of Belief Revision. 3149-3155
Nico Potyka, Matthias Thimm:
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. 3156-3163
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg:
Did You Know? - Mining Interesting Trivia for Entities from Wikipedia. 3164-3170
David Rajaratnam, Michael Thielscher:
Execution Monitoring as Meta-Games for General Game-Playing Robots. 3178-3185
Sebastian Rudolph, Christian Sacarea, Diana Troanca:
Membership Constraints in Formal Concept Analysis. 3186-3192
Sebastian Rudolph, Michaël Thomazo:
Characterization of the Expressivity of Existential Rule Queries. 3193-3199
Sebastian Sardiña, Nicolás D'Ippolito:
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. 3200-3206
Steven Schockaert, Jae Hee Lee:
Qualitative Reasoning about Directions in Semantic Spaces. 3207-3213
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco:
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. 3214-3220
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz:
MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. 3221-3228
Michael Sioutis, Sanjiang Li, Jean-François Condotta:
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. 3229-3235
Benito van der Zander, Johannes Textor, Maciej Liskiewicz:
Efficiently Finding Conditional Instruments for Causal Inference. 3243-3249
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre:
AGM Revision of Beliefs about Action and Time. 3250-3256
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu:
A Complete Epistemic Planner without the Epistemic Closed World Assumption. 3257-3263
Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen:
Query Understanding through Knowledge-Based Conceptualization. 3264-3270
Nic Wilson, Anne-Marie George, Barry O'Sullivan:
Computation and Complexity of Preference Inference Based on Hierarchical Models. 3271-3277
Benjamin Zarrieß, Jens Claßen:
Verification of Knowledge-Based Programs over Description Logic Actions. 3278-3284
Haodi Zhang, Fangzhen Lin:
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond. 3285-3291
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande:
Extending AGM Contraction to Arbitrary Logics. 3299-3307
Special Track on Machine Learning
Dana Angluin, Sarah Eisenstat, Dana Fisman:
Learning Regular Languages via Alternating Automata. 3308-3314
Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh:
Maximum Entropy Semi-Supervised Inverse Reinforcement Learning. 3315-3321
Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin R. Hancock:
A Graph Kernel Based on the Jensen-Shannon Representation Alignment. 3322-3328
André da Motta Salles Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup:
An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data. 3329-3336
Haitham Bou-Ammar, Eric Eaton, José-Marcio Luna, Paul Ruvolo:
Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning. 3345-3351
Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé:
Reinforcement Learning from Demonstration through Shaping. 3352-3358
Deng Cai:
Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction. 3359-3365
Thomas Cederborg, Ishaan Grover, Charles L. Isbell, Andrea Lockerd Thomaz:
Policy Shaping with Human Teachers. 3366-3372
Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas S. Huang:
A Space Alignment Method for Cold-Start TV Show Recommendations. 3373-3379
Huanhuan Chen, Fengzhen Tang, Peter Tiño, Anthony G. Cohn, Xin Yao:
Model Metric Co-Learning for Time Series Classification. 3387-3394
Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu:
Training-Efficient Feature Map for Shift-Invariant Kernels. 3395-3401
Ying-Cong Chen, Wei-Shi Zheng, Jianhuang Lai:
Mirror Representation for Modeling View-Specific Transform in Person Re-Identification. 3402-3408
Yiu-ming Cheung, Jian Lou:
Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization. 3409-3415
Andrew Cropper, Stephen H. Muggleton:
Learning Efficient Logical Robot Strategies Involving Composable Objects. 3423-3429
Qi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang:
Optimal Bayesian Hashing for Efficient Face Recognition. 3430-3437
Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao:
Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information. 3438-3444
Shay Deutsch, Gérard G. Medioni:
Intersecting Manifolds: Detection, Segmentation, and Labeling. 3445-3452
Tobias Domhan, Jost Tobias Springenberg, Frank Hutter:
Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves. 3460-3468
Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao:
Topic Modeling with Document Relative Similarities. 3469-3475
Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen:
Robust Multiple Kernel K-means Using L21-Norm. 3476-3482
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato:
Crowdsourced Semantic Matching of Multi-Label Annotations. 3483-3489
Chang Feng, Qinghua Hu, Shizhong Liao:
Random Feature Mapping with Signed Circulant Matrix Projection. 3490-3496
Yasuhiro Fujiwara, Dennis E. Shasha:
Quiet: Faster Belief Propagation for Images and Related Applications. 3497-3503
Yang Gao, Francesca Toni:
Potential Based Reward Shaping for Hierarchical Reinforcement Learning. 3504-3510

André Ricardo Gonçalves, Fernando J. Von Zuben, Arindam Banerjee:
Multi-Label Structure Learning with Ising Model Selection. 3525-3531

Xiaojie Guo:
Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix. 3547-3553
Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern:
Active Imitation Learning of Hierarchical Policies. 3554-3560
Biwei Huang, Kun Zhang, Bernhard Schölkopf:
Identification of Time-Dependent Causal Model: A Gaussian Process Treatment. 3561-3568
Jin Huang, Feiping Nie, Heng Huang:
A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering. 3569-3575
Wen-bing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Y. Chang:
Scalable Gaussian Process Regression Using Deep Neural Networks. 3576-3582

Pooria Joulani, András György, Csaba Szepesvári:
Fast Cross-Validation for Incremental Learning. 3597-3604
Kirthevasan Kandasamy, Jeff G. Schneider, Barnabás Póczos:
Bayesian Active Learning for Posterior Estimation - IJCAI-15 Distinguished Paper. 3605-3611
Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara:
Collaborative Place Models. 3612-3618
George Konidaris, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
Symbol Acquisition for Probabilistic High-Level Planning. 3619-3627
Xin Li, Yuhong Guo:
Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation. 3635-3642
Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao:
Multi-Task Model and Feature Joint Learning. 3643-3649
Yitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen:
Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective. 3650-3656
Ronghua Liang, Xiao-Xin Li:
Mixed Error Coding for Face Recognition with Mixed Occlusions. 3657-3663
Ming Lin, Zhen-Zhong Lan, Alexander G. Hauptmann:
Density Corrected Sparse Recovery when R.I.P. Condition Is Broken. 3664-3670
Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge:
Regularizing Flat Latent Variables with Hierarchical Structures. 3671-3677
Huaping Liu, Jie Qin, Hong Cheng, Fuchun Sun:
Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm. 3678-3684
Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang:
Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences. 3685-3691
Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu:
Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning. 3699-3706
Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz:
Using A* for Inference in Probabilistic Classifier Chains. 3707-3713
Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas:
EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection. 3721-3727
Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang:
Image Feature Learning for Cold Start Problem in Display Advertising. 3728-3734
Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes:
Inverse Reinforcement Learning in Relational Domains. 3735-3741
Frank Neumann, Carsten Witt:
On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling. 3742-3748
Yulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen:
Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing. 3749-3755

Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin:
Scalable Probabilistic Tensor Factorization for Binary and Count Data. 3770-3776

Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran:
Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning. 3791-3797
Ming Shao, Sheng Li, Zhengming Ding, Yun Fu:
Deep Linear Coding for Fast Graph Clustering. 3798-3804
Kilho Shin, Adrian Pino Angulo:
A Geometric Theory of Feature Selection and Distance-Based Measures. 3812-3819
Yangqiu Song, Shusen Wang, Haixun Wang:
Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach. 3820-3826
Alessandro Sperduti:
Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences. 3827-3833
Lu Sun, Mineichi Kudo:
Polytree-Augmented Classifier Chains for Multi-Label Classification. 3834-3840
Siliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang:
Sketch the Storyline with CHARCOAL: A Non-Parametric Approach. 3841-3848
Shaozhe Tao, Daniel Boley, Shuzhong Zhang:
Convergence of Common Proximal Methods for L1-Regularized Least Squares. 3849-3855
Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, Robert John Winder, Marie desJardins, James MacGlashan:
Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes. 3856-3864
Joel Veness, Marcus Hutter, Laurent Orseau, Marc G. Bellemare:
Online Learning of k-CNF Boolean Functions. 3865-3873
Saulo Moraes Villela, Saul de Castro Leite, Raul Fonseca Neto:
Feature Selection from Microarray Data via an Ordered Search with Projected Margin. 3874-3881
Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang:
Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations. 3882-3889
Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He:
Semantic Topic Multimodal Hashing for Cross-Media Retrieval. 3890-3896
Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye:
An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines. 3897-3903

William Yang Wang, Kathryn Mazaitis, William W. Cohen:
A Soft Version of Predicate Invention Based on Structured Sparsity. 3918-3924
Xiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang:
Discriminative Unsupervised Dimensionality Reduction. 3925-3931
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S. Huang:
A Joint Optimization Framework of Sparse Coding and Discriminative Clustering. 3932-3938
Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang:
Quantized Correlation Hashing for Fast Cross-Modal Search. 3946-3952
Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang:
Multi-Graph-View Learning for Complicated Object Classification. 3953-3959
Yingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu:
Thompson Sampling for Budgeted Multi-Armed Bandits. 3960-3966
Youlu Xing, Furao Shen, Jinxi Zhao:
Perception Evolution Network Adapting to the Emergence of New Sensory Receptor. 3967-3973
Jingwei Xu, Yuan Yao, Hanghang Tong, XianPing Tao, Jian Lu:
Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison. 3981-3987
Yan Yan, Mingkui Tan, Ivor W. Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi:
Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search. 3988-3994
Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiaoli Li, Shonali Krishnaswamy:
Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition. 3995-4001
Quanming Yao, James T. Kwok:
Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion. 4002-4008
Chao Yuan:
Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models. 4009-4016
Guangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang:
Matrix Factorization with Scale-Invariant Parameters. 4017-4024
Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang:
A Direct Boosting Approach for Semi-supervised Classification. 4025-4032
Liangpeng Zhang, Ke Tang, Xin Yao:
Increasingly Cautious Optimism for Practical PAC-MDP Exploration. 4033-4040
Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu:
Towards Class-Imbalance Aware Multi-Label Learning. 4041-4047
Min-Ling Zhang, Fei Yu:
Solving the Partial Label Learning Problem: An Instance-Based Approach. 4048-4054
Xianchao Zhang, Xiaotong Zhang, Han Liu:
Multi-Task Multi-View Clustering for Non-Negative Data. 4055-4061


Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang:
Mobile Query Recommendation via Tensor Function Learning. 4084-4090
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka:
Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters. 4091-4097
Dawei Zhou, Jingrui He, K. Selçuk Candan, Hasan Davulcu:
MUVIR: Multi-View Rare Category Detection. 4098-4104
Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen:
Recovery of Corrupted Multiple Kernels for Clustering. 4105-4111
Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen:
Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization. 4112-4118
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He:
Supervised Representation Learning: Transfer Learning with Deep Autoencoders. 4119-4125
Jingwei Zhuo, Jun Zhu, Bo Zhang:
Adaptive Dropout Rates for Learning with Corrupted Features. 4126-4133
Demos Track
Filipe Assunção, João Correia, Pedro Martins, Penousal Machado:
Evolving Families of Shapes. 4134-4135
Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng:
Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation. 4138-4139
Mathieu Ramona, Giordano Cabral, François Pachet:
Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings. 4140-4142
Journal Track
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract). 4143-4147
Marc G. Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling:
The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract). 4148-4152
Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen:
Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract). 4153-4187
Cristina Bosco, Viviana Patti, Andrea Bolioli:
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract). 4188-
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics (Extended Abstract). 4163-4167
Karthik Dinakar, Rosalind W. Picard, Henry Lieberman:
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract). 4168-4172
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran:
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). 4173-4177
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra:
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract). 4178-4182
Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave:
kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract). 4183-4187
Micah Hodosh, Peter Young, Julia Hockenmaier:
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract). 4188-4192
Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin:
Measuring and Recommending Time-Sensitive Routes from Location-based Data. 4193-4196
Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown:
Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract). 4197-4201
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi:
Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract). 4202-4206
Munindar P. Singh:
Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract. 4207-4211
Yale Song, Randall Davis:
Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract. 4212-4216
Michael Winikoff, Stephen Cranefield:
On the Testability of BDI Agent Systems (Extended Abstract). 4217-4221
Yu Wu, Per Austrin, Toniann Pitassi, David Liu:
Inapproximability of Treewidth and Related Problems (Extended Abstract). 4222-4228
Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria:
Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract). 4229-4233
Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark A. Cameron, Bella Robinson, Robert Power:
Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract. 4234-4239
Best Papers from Sister Conferences Track
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? 4240-4246
Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. 4247-4253
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet:
Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract). 4254-4260
Michael W. Floyd, Michael Drinkwater, David W. Aha:
Trust-Guided Behavior Adaptation Using Case-Based Reasoning. 4261-4267
Negar Hariri, Bamshad Mobasher, Robin Burke:
Adapting to User Preference Changes in Interactive Recommendation. 4268-4274
Piotr Krysta, Orestis Telelis, Carmine Ventre:
Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions. 4275-4281
Dougal Maclaurin, Ryan Prescott Adams:
Firefly Monte Carlo: Exact MCMC with Subsets of Data. 4289-4295
Peter Organisciak, Jaime Teevan, Susan T. Dumais, Robert C. Miller, Adam Tauman Kalai:
Matching and Grokking: Approaches to Personalized Crowdsourcing. 4296-4302
Florian Pommerening, Gabriele Röger, Malte Helmert, Blai Bonet:
Heuristics for Cost-Optimal Classical Planning Based on Linear Programming. 4303-4309
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Reasoning with Probabilistic Ontologies. 4310-4316
Amir Shareghi Najar, Antonija Mitrovic, Bruce M. McLaren:
Examples and Tutored Problems: Adaptive Support Using Assistance Scores. 4317-4323
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml:
Max Is More than Min: Solving Maximization Problems with Heuristic Search. 4324-4330
Doctoral Consortium





Joel Luis Carbonera, Mara Abel:
A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems. 4349-4350
Alejandro Corbellini:
A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs. 4353-4354


Wilton de Paula Filho, Ana Cristina Bicharra Garcia:
RoTuEl: A Semi-Automated Method for Labeling Political Tweets. 4361-4362


Athirai Aravazhi Irissappane:
Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems. 4369-4370


Thomas Linsbichler:
Abstract Argumentation Frameworks - From Theoretical Insights to Practical Implications. 4377-4378


Yoko Nakajima:
Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information. 4385-4386
Diederik Marijn Roijers:
Efficient Methods for Multi-Objective Decision-Theoretic Planning. 4389-4390
Pedro Henrique Santana, Brian Charles Williams:
Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk. 4393-4394
Sayan D. Sen:
An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation. 4395-4396

Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee:
Feature Selection for Multi-Label Learning. 4401-4402





Invited
Steve A. Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers:
Activity-Based Scheduling of Science Campaigns for the Rosetta Orbiter. 4416-4422
Manuela M. Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal:
CoBots: Robust Symbiotic Autonomous Mobile Service Robots. 4423-



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
